completion of a valuation

賦值的完備化